Undo undocumented change.

diff --git a/src/.gdbinit b/src/.gdbinit
index de35709f26b4aa7d56f63f16bca245ffca95c918..be91a100f4993ec5928e0d2631b4bfc19060ac04 100644 (file)
--- a/src/.gdbinit
+++ b/src/.gdbinit
@@ -1087,7 +1087,7 @@ set print sevenbit-strings
 
 show environment DISPLAY
 show environment TERM
-#set args -geometry 80x40+0+0
+set args -geometry 80x40+0+0
 
 # People get bothered when they see messages about non-existent functions...
 xgetptr Vsystem_type